Formal techniques based on Nets, Object orientation and Reusability for Rapid Prototyping of Complex Systems
نویسنده
چکیده
This paper presents a technique based on both nets and object orientation for rapid prototyping of parallel systems. The technique described here is currently implemented under a software environment.
منابع مشابه
Prototyping Object Specifications Using the CO-Nets Approach
The CO-Nets approach, that we are developing, is an object oriented Petri net-based framework for specifying as well as prototyping|through graphical animation accompanied by a concurrent computation based on its semantics expressed in rewriting logic|distributed information systems. Taking bene ts of these (validation) capabilities, we presents how prototyping and implementation of systems spe...
متن کاملA generic prototype model for distributed systems based on high level object oriented specification
This paper presents a multi-formalism method for design and rapid prototyping of parallel systems. This approach mixes object paradigm and formal verification techniques. The method is based on enrichment and refinements, each one involving several intermediate representations bringing additional information. On this basis, a prototype is generated that may be either a prototype or a first oper...
متن کاملProtocol Engineering Applied to Formal Analysis of Security Systems
Every communication system requiring security properties is certainly critical. In order to study the security of communication systems, we have developed a methodology for the application of the formal analysis techniques of communication protocols to the analysis of cryptographic ones. We have extended the design and analysis phases with security properties. Our methodology uses a specificati...
متن کاملObject-oriented Techniques in Grammar and Ontology Specification
Currently, much effort is spent for the creation of linguistic resources such as grammars or domain models each time a new task oriented spoken language application is deployed. The resources for different applications, though different, resemble each other enough to warrant reusability of subcomponents. In this paper, we describe the application of techniques known from object oriented program...
متن کاملA Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems
For complex software systems a centr al design con cern is system archite cture The systematic treatment of ar chite ctur al speci cation and re nement is a prop er basis for an engineering approach to system design However conventional Petri nets models do not pro vide ade quate abstr actions for archite ctural speci ca tion because their primary conc ern is b ehavior mo del ing and analysis A...
متن کامل